1. <A> priori knowledge
پدیدآورنده : edited by Paul K. Moser,Series
کتابخانه: کتابخانه انتشارات سمت (تهران)
موضوع : A priori,Knowledge, Theory of
رده :
BD
.
A2
181
.
3
1987
2. Analytic Philosophy
پدیدآورنده : / Edited by A.P. Martinich and David Sosa
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Analysis (Philosophy)
رده :
B808
,.
5
.
A52
2012
3. Arguing About Language
پدیدآورنده : / edited by Darragh Byrne and Max Kolbel
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Language and languages - Philosophy,Language and Culture,زبان - فلسفه,زبان و فرهنگ
رده :
P107
.
A76
2010
4. Closure properties and kripke models for fragments of heyting arithmetic
پدیدآورنده : by: Morteza Moniri,^AMoniri, Morteza
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Intuitionistic mathematics,Constructive mathematics,Logic, Symbolic and mathematical,Arithmetic,Kripke, Saul A., 1940-,Heyting, Arend, 1898-,Model theory
5. Computability :
پدیدآورنده : edited by Jack Copeland, Carl J. Posy, and Oron Shagrir
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity,Mathematics-- Philosophy
رده :
QA267
.
7
.
C677
2013
6. Formal systems and recursive functions /
پدیدآورنده : edited by J.N. Crossley and M.A.E. Dummett.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Congresses.,Recursive functions, Congresses.,Fonctions récursives.,Logique symbolique et mathématique.,Fonctions récursives-- Congrès.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique-- Congrès.,Recursive functions.
رده :
QA9
.
615
.
F67
1965
7. Metaphysics
پدیدآورنده : / Edited by Jaegwon Kim, Daniel Z. Korman and Ernest Sosa
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Metaphysics,PHILOSOPHY / Metaphysics., bisacsh
رده :
BD111
.
M55
2012
8. Modal logic as metaphysics /
پدیدآورنده : Timothy Williamson
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Metaphysics,Modality (Logic)
رده :
BC199
.
M6
W55
2013
9. Prospects for meaning /
پدیدآورنده : edited by Richard Schantz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Language and languages-- Philosophy.,Meaning (Philosophy),Semantics (Philosophy),Language and languages-- Philosophy.,Meaning (Philosophy),PHILOSOPHY-- Epistemology.,Semantics (Philosophy)
رده :
B105
.
M4
10. Radical interpretation and indeterminacy /
پدیدآورنده : Timothy McCarthy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Davidson, Donald,Kripke, Saul A.,Lewis, David K.,Putnam, Hilary.,Quine, Willard van Orman.,Language and languages-- Philosophy.,Langage et langues-- Philosophie.,Analytische filosofie.,Interpretatie.,Language and languages-- Philosophy.,LANGUAGE ARTS & DISCIPLINES-- General.,Logica.,Referentie.,Referenz,Semantik,Sprachlogik,Sprachphilosophie,Sprachverstehen,Vagheit
رده :
P107
.
M37
2002eb
11. Reading metaphysics :
پدیدآورنده : [edited by] Helen Beebee and Julian Dodd.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Metaphysics.,Metafysik.,Metaphysics.,Metaphysik.,Metaphysik.,métaphysique, anthologie.
رده :
BD95
.
R43
2007
12. Reference and existence :
پدیدآورنده : Saul A. Kripke
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Ontology,Reference (Philosophy)
رده :
B105
.
R25
K75
2013
13. Reference and existence : the John Locke lectures
پدیدآورنده : / by Saul A Kripke.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع :
14. Saul Kripke /
پدیدآورنده : edited by Alan Berger
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Kripke, Saul A.,1940-
رده :
B945
.
K794
S38
2011
15. The Routledge philosophy guidebook to Kripke and Naming and necessity /
پدیدآورنده : by Harold Noonan
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Kripke, Saul A.,1940-Naming and necessity,Identity (Philosophical concept),Necessity (Philosophy),Reference (Philosophy)
رده :
BD417
.
N66
2012
16. The 100 most influential philosophers of all time /
پدیدآورنده : edited by Brian Duignan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Philosophers.,Philosophy.,Philosophers.,Philosophers.,PHILOSOPHY-- History & Surveys-- General.,Philosophy.,Philosophy.
رده :
B72
.
A15
2010eb
17. The new theory of reference :Kripke, Marcus, and its origins
پدیدآورنده : edited by Paul W. Humphreys and James H. Fetzer
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Kripke, Saul A.,0491-,، Marcus, Ruth Barcan,History ، Reference )Philosophy( - 02th century
رده :
B105
.
R25
N48
1998